Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
521	Creating Disjunctive Logical Forms from Aligned Sentences for Grammar-Based Paraphrase Generation Scott Martin and Michael White Department of Linguistics The Ohio State University Columbus, Ohio, USA Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2011-06-12 14:42:54 Science Automatic summarization Treebank Semantics Presbyterian paraphrases Parsing Natural language processing Predicate Syntax Linguistics Computational linguistics Grammar
522	Description Logics Foundations of Propositional Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Propositional calculus Philosophical logic Logic in computer science Logical syntax Modal logic First-order logic Proposition Fuzzy logic Entailment Logic Mathematical logic Non-classical logic
523	Approximate Subsumption in ALCQ Heiner Stuckenschmidt University of Mannheim, Germany A5, [removed]Mannheim [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Philosophical logic Philosophy of language Logical syntax Model theory Interpretation Function Truth Knowledge representation and reasoning Proposition Logic Mathematical logic Propositional calculus
524	Elementary Logic PHILV1401 Fall[removed]Altschul Hall MW 11:00-12:15 Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-12 11:40:07 Logical syntax Predicate logic Formal languages Outline of logic Formation rule First-order logic Well-formed formula Proposition Index of logic articles Logic Mathematical logic Propositional calculus
525	Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Logical syntax Proof theory Formal languages Decidability Atomic model Theory Well-formed formula Recursive languages and sets Logic Metalogic Model theory
526	Preferential Logics: the Predicate Calculus case (extended abstract) Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Non-classical logic Logical syntax Predicate logic Logic programming Default logic First-order logic Function Entailment Propositional formula Logic Mathematical logic Propositional calculus
527	A Nonstandard Approach to the. Logical Omniscience Problem Ronald Fagin Joseph Y. Halpern Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Non-classical logic Logical syntax Philosophical logic Interpretation Tautology Epistemic modal logic Entailment Modal logic Relevance logic Logic Mathematical logic Propositional calculus
528	Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:54:32 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
529	Probabilistic Semantics for Natural Language Jan van Eijck and Shalom Lappin CWI and ILLC Amsterdam, King’s College London Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 07:18:42 Logical syntax Semantics Non-classical logic Predicate Interpretation Probability Modal logic Probabilistic logic Entailment Logic Propositional calculus Mathematical logic
530	pdf version of the entry Dynamic Semantics http://plato.stanford.edu/archives/fall2010/entries/dynamic-semantics/ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:14:07 Formal languages Model theory Logical syntax Philosophy of language Interpretation First-order logic Proposition Function Semantics Logic Mathematics Mathematical logic

UPDATE